file_text_write_string(SaveFile, string(argument0)); file_text_writeln(SaveFile);
